es{-}kindtype(${\it es}$; $i$; $k$) \\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if isrcv($k$) then es{-}M(${\it es}$)(lnk($k$),tag($k$)) else es{-}V(${\it es}$)($i$,act($k$)) fi